home *** CD-ROM | disk | FTP | other *** search
- package com.sun.java.swing.event;
-
- public final class DocumentEvent$EventType {
- public static final DocumentEvent$EventType INSERT = new DocumentEvent$EventType("INSERT");
- public static final DocumentEvent$EventType REMOVE = new DocumentEvent$EventType("REMOVE");
- public static final DocumentEvent$EventType CHANGE = new DocumentEvent$EventType("CHANGE");
- private String typeString;
-
- private DocumentEvent$EventType(String s) {
- this.typeString = s;
- }
-
- public String toString() {
- return this.typeString;
- }
- }
-